Fix SVM guest destroy: I/O shared page is mapped globally so must unmap

with unmap_domain_page_global().

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c
index 106bfffef0bc25c91129d2c6e5b1c9f00b7226af..cde1db4b602b9b12d5806ceca552f2efb9eb37b4 100644 (file)
--- a/xen/arch/x86/hvm/svm/svm.c
+++ b/xen/arch/x86/hvm/svm/svm.c
@@ -744,7 +744,8 @@ void svm_relinquish_resources(struct vcpu *v)
         /* unmap IO shared page */
         struct domain *d = v->domain;
         if ( d->arch.hvm_domain.shared_page_va )
-            unmap_domain_page((void *)d->arch.hvm_domain.shared_page_va);
+            unmap_domain_page_global(
+                (void *)d->arch.hvm_domain.shared_page_va);
         shadow_direct_map_clean(d);
     }